Unification in modal and description logics
نویسندگان
چکیده
منابع مشابه
Unification in modal and description logics
Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.
متن کاملModal Logics, Description Logics and Arithmetic Reasoning
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large class of modal and description logics. The class of description logics suitable for the proposed methods is strong on the arithmetical side. In particular there may be complex arithmetical conditions on sets of accessib...
متن کاملDisjunction in Modal Description Logics
We investigate the complexity of satisfaction problems in modal description logics without disjunction between formulae. It is shown that simulation of disjunction in the class of all models of these logics is possible, so that the complexity remains same no matter the logics is with or without disjunction of formulae. However, the omission of disjunction, in the class of the models based on th...
متن کاملModal Description Logics: Modalizing Roles
In this paper, we construct a new concept description language intended for representing dynamic and intensional knowledge. The most important feature distinguishing this language from its predecessors in the literature is that it allows applications of modal operators to all kinds of syntactic terms: concepts, roles and formulas. Moreover, the language may contain both local (i.e., state-depen...
متن کاملDescription Logics Modal Logics for Class Based Modeling
The research in Arti cial Intelligence and Computer Science has al ways paid special attention to formalisms for the structured representa tion of information In Arti cial Intelligence the investigation of such for malisms began with semantic networks and frames which have been in uential for many formalisms proposed in the areas of knowledge repre sentation databases and programming languages ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2010
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzq008